1. Application and theory of petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings
المؤلف: Javier Esparza, Charles Lakos )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Petri nets
رده :
QA
76
.
L28
Vol
.
2360
2. Automata, Languages, and Programming
المؤلف: / Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
3. Automata, Languages, and Programming
المؤلف: / Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
4. Finite and algorithmic model theory
المؤلف: / edited by Javier Esparza, Christian Michaux, Charles Steinhorn
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Finite model theory.,Computer science--Mathematics
رده :
QA
,
9
.
7
,.
F565
,
2011
5. Finite and algorithmic model theory
المؤلف: edited by Javier Esparza, Christian Michaux, Charles Steinhorn
المکتبة: (طهران)
موضوع: ، Finite model theory,Mathematics ، Computer science
رده :
QA
9
.
7
.
F565
2011
6. Finite and algorithmic model theory
المؤلف: edited by Javier Esparza, Christian Michaux, Charles Steinhorn
المکتبة: (طهران)
موضوع: ، Finite model theory,، Computer science -- Mathematics
رده :
QA
9
.
7
.
F562
7. Free choice Petri nets
المؤلف: / Jeorg Desel, Javier Esparza
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Petri nets.
رده :
QA
,
267
,.
D465
,
1995
8. Principios de contabilidad :
المؤلف: Álvaro Javier Romero López ; revisión técnica José Alfonso Esparza Ortiz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Accounting.
9. 28, 2010. Proceedings-Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20
المؤلف: / Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
10. Tools and Algorithms for the Construction and Analysis of Systems
المؤلف: / Javier Esparza, Rupak Majumdar
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
11. Tools and algorithms for the construction and analysis of systems :
المؤلف: Javier Esparza, Rupak Majumdar (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: System analysis, Congresses,System design, Congresses,Computer Systems.,Software Validation.,Systems Analysis.
رده :
QA76
.
9
.
S88
T33
2010
12. Unfoldings: a partial-order approach to model checking
المؤلف: Esparza, Javier
المکتبة: (سمنان)
موضوع: Testing ، Computer software,Verification ، Computer systems
رده :
QA
76
.
76
.
T48E87
2008
